Petri-Netz — Petri Netz, eine 1962 von dem deutschen Mathematiker C. A. Petri (*1926) vorgeschlagene grafische Darstellung (Netz) zur Beschreibung und Analyse von sog. nebenläufigen Prozessen (Nebenläufigkeit), die in Systemen auftreten, die aus vielen… … Universal-Lexikon
Petri Netz — Ein Petri Netz ist ein mathematisches Modell von nebenläufigen Systemen. Es ist eine formale Methode der Modellierung von Systemen bzw. Transformationsprozessen. Die ursprüngliche Form der Petri Netze nennt man auch Bedingungs oder Ereignisnetz.… … Deutsch Wikipedia
Petri-Netz — Als Petri Netze werden Modelle diskreter, vorwiegend verteilter Systeme bezeichnet, die alle einigen wenigen, einfachen Prinzipien genügen. Diese Prinzipien hat der Informatiker Carl Adam Petri in den 1960er Jahren entwickelt. Heutzutage werden… … Deutsch Wikipedia
Carl Adam Petri — (2009) Carl Adam Petri (* 12. Juli 1926 in Leipzig; † 2. Juli 2010 in Siegburg) war ein deutscher Mathematiker und Informatiker. Er ist vor allem bekannt durch die nach ihm benannten Petri Netze zur Modellierung verteilter Systeme … Deutsch Wikipedia
Erreichbarkeitsgraph (Petri-Netz) — Ein Erreichbarkeitsgraph ist ein gerichteter Graph, der aus einem Petri Netz und einer Anfangsmarkierung gewonnen werden kann. Er wird dadurch erzeugt, dass, mit der Anfangsmarkierung beginnend, die Menge der in der Markierung aktivierten… … Deutsch Wikipedia
Petrienetz — Ein Petri Netz ist ein mathematisches Modell von nebenläufigen Systemen. Es ist eine formale Methode der Modellierung von Systemen bzw. Transformationsprozessen. Die ursprüngliche Form der Petri Netze nennt man auch Bedingungs oder Ereignisnetz.… … Deutsch Wikipedia
Petrinetz — Ein Petri Netz ist ein mathematisches Modell von nebenläufigen Systemen. Es ist eine formale Methode der Modellierung von Systemen bzw. Transformationsprozessen. Die ursprüngliche Form der Petri Netze nennt man auch Bedingungs oder Ereignisnetz.… … Deutsch Wikipedia
Erreichbarkeitsgraph — Ein Erreichbarkeitsgraph ist ein gerichteter Graph, der aus einem Petri Netz und einer Anfangsmarkierung gewonnen werden kann. Er wird dadurch erzeugt, dass, mit der Anfangsmarkierung beginnend, die Menge der in der Markierung aktivierten… … Deutsch Wikipedia
Yawl (Informatik) — Yawl ist die Bezeichnung einer Prozessmodellierungssprache und gleichzeitig ein Akronym mit der Bedeutung Yet Another Workflow Language. Teile des Yawl Software Framework wurden unter der Apache Software License und der GNU Lesser General Public… … Deutsch Wikipedia
Abstrakte Maschine — Ein Automat oder eine abstrakte Maschine ist in der Informatik das Modell eines digitalen, zeitdiskreten Rechners. Ob es möglich oder sinnvoll ist, eine solche Maschine tatsächlich zu bauen, ist dabei zunächst unerheblich. Die Vereinfachung der… … Deutsch Wikipedia
